Using Access paths to Guide Inference with Conceptual Graphs

Conceptual Graphs (CGs) are a natural and intuitive notation for expressing rst-order logic statements. However, the task of performing inference with a large-scale CG knowledge base remains largely unexplored. Although basic inference operators are deened for CGs, few methods are available for guiding their application during automated reasoning. Given the expressive power of CGs, this can result in inference being intractable. In this paper we show how a method used elsewhere for achieving tractabil-ity | namely the use of access paths | can be applied to conceptual graphs. Access paths add to CGs domain-speciic information that guides inference by specifying preferred chains of subgoals for each inference goal (and hence, other chains will not be tried). This approach trades logical completeness for focussed inference, and allows incompleteness to be introduced in a controlled way (through the knowledge engineer's choice of which access paths to attach to CGs). The result of this work is an inference algorithm for CGs that signiicantly improves the eeciency of reasoning.